Design by Contract
👉契約による設計